VHDL for Synchronous Action Systems

The action systems framework supporting formal circuit derivations has been successfully applied to synchronous VLSI design. The present paper presents a C++ application that translates descriptions of synchronous action systems into VHDL code, after their formal transformation from the initial high-level specifications into concrete enough format. After the automatic conversion, the resulting code can be input into the synthesizer, that does the actual technology mapping. Thus, the whole design flow for synchronous action systems is covered, from high level specifications down to gate level.